Formalising Web Services

Despite the popularity of web services, creating them manually is an intricate task. Composite web services are defined using the evolving standard for BPEL (Business Process Execution Logic). It is explained how CRESS (Chisel Representation Employing Systematic Specification) has been extended to meet the challenge of graphically and formally describing web services. Sample CRESS descriptions are presented of web services. These are automatically translated into LOTOS, permitting rigorous analysis and automated validation

Specifying and Realising Interactive Voice Services

VoiceXML (Voice Extended Markup Language) has become a major force in interactive voice services. However current approaches to creating Voice-XML services are rather low-level. Graphical representations of VoiceXML are close to the textual form of the language, and do not give a high-level description of a service. CRESS (Chisel Representation Employing Systematic Specification) can be used to give a more abstract, language-independent view of interactive voice services. CRESS is automatically compiled into VoiceXML for implementation, and into LOTOS (Language Of Temporal Ordering Specification) or SDL (Specification and Description Language) for automated analysis. The paper explains how CRESS is translated into VoiceXML and LOTOS

A comparison of the immunoglobulins, IgA, IgG and IgE in nasal secretions from normal and asthmatic children

The secreted proteins obtained from nasal washings from eighty-five normal children and fifty asthmatic children, between 6 and 14 years, were investigated by immunological assay for their content of albumin, secretory IgA and IgG. A smaller number of specimens from asthmatic and normal children were examined for their IgE content. There was no statistically significant difference in the levels of albumin, secretory IgA and IgG in the asthmatic and the normal children. The IgE content of nasal wash protein in normal children averaged approximately 70 ng/mg of protein, whereas the IgE content in the asthmatic children averaged greater than 400 ng/mg of wash protein

Supporting security-oriented, inter-disciplinary research: crossing the social, clinical and geospatial domains

How many people have had a chronic disease for longer than 5-years in Scotland? How has this impacted upon their choices of employment? Are there any geographical clusters in Scotland where a high-incidence of patients with such long-term illness can be found? How does the life expectancy of such individuals compare with the national averages? Such questions are important to understand the health of nations and the best ways in which health care should be delivered and measured for their impact and success. In tackling such research questions, e-Infrastructures need to provide tailored, secure access to an extensible range of distributed resources including primary and secondary e-Health clinical data; social science data, and geospatial data sets amongst numerous others. In this paper we describe the security models underlying these e-Infrastructures and demonstrate their implementation in supporting secure, federated access to a variety of distributed and heterogeneous data sets exploiting the results of a variety of projects at the National e-Science Centre (NeSC) at the University of Glasgow

A Rigorous Methodology for Composing Services

Creating new services through composition of existing ones is an attractive option. However, composition can be complex and service compatibility needs to be checked. A rigorous and industrially-usable methodology is therefore desirable required for creating, verifying, implementing and validating composed services. An explanation is given of the approach taken by CRESS (Communication Representation Employing Systematic Specification). Formal verification and validation are performed through automated translation to LOTOS (Language Of Temporal Ordering Specification). Implementation and validation are performed through automated translation to BPEL (Business Process Execution Logic) and WSDL (Web Services Description Language). The approach is illustrated with an application to grid service composition in e-Social Science

Three dimensional mapping of Fe dopants in ceria nanocrystals using direct spectroscopic electron tomography

Electron tomography is a powerful technique for the 3D characterization of the morphology of nanostructures. Nevertheless, resolving the chemical composition of complex nanostructures in 3D remains challenging and the number of studies in which electron energy loss spectroscopy (EELS) is combined with tomography is limited. During the last decade, dedicated reconstruction algorithms have been developed for HAADF-STEM tomography using prior knowledge about the investigated sample. Here, we will use the prior knowledge that the experimental spectrum of each reconstructed voxel is a linear combination of a well-known set of references spectra in a so-called direct spectroscopic tomography technique. Based on a simulation experiment, it is shown that this technique provides superior results in comparison to conventional reconstruction methods for spectroscopic data, especially for spectrum images containing a relatively low signal to noise ratio. Next, this technique is used to investigate the spatial distribution of Fe dopants in Fe:Ceria nanoparticles in 3D. It is shown that the presence of the Fe2+ dopants is correlated with a reduction of the Ce atoms from Ce4+ towards Ce3+. In addition, it is demonstrated that most of the Fe dopants are located near the voids inside the nanoparticle

Near-term deployment of carbon capture and sequestration from biorefineries in the United States

Capture and permanent geologic sequestration of biogenic CO2 emissions may provide critical flexibility in ambitious climate change mitigation. However, most bioenergy with carbon capture and sequestration (BECCS) technologies are technically immature or commercially unavailable. Here, we evaluate low-cost, commercially ready CO2 capture opportunities for existing ethanol biorefineries in the United States. The analysis combines process engineering, spatial optimization, and lifecycle assessment to consider the technical, economic, and institutional feasibility of near-term carbon capture and sequestration (CCS). Our modeling framework evaluates least cost source-sink relationships and aggregation opportunities for pipeline transport, which can cost-effectively transport small CO2 volumes to suitable sequestration sites; 216 existing US biorefineries emit 45 Mt CO2 annually from fermentation, of which 60% could be captured and compressed for pipeline transport for under $25/tCO2 A sequestration credit, analogous to existing CCS tax credits, of$60/tCO2 could incent 30 Mt of sequestration and 6,900 km of pipeline infrastructure across the United States. Similarly, a carbon abatement credit, analogous to existing tradeable CO2 credits, of $90/tCO2 can incent 38 Mt of abatement. Aggregation of CO2 sources enables cost-effective long-distance pipeline transport to distant sequestration sites. Financial incentives under the low-carbon fuel standard in California and recent revisions to existing federal tax credits suggest a substantial near-term opportunity to permanently sequester biogenic CO2 This financial opportunity could catalyze the growth of carbon capture, transport, and sequestration; improve the lifecycle impacts of conventional biofuels; support development of carbon-negative fuels; and help fulfill the mandates of low-carbon fuel policies across the United States

Personal identity (de)formation among lifestyle travellers: A double-edged sword?

This article explores the personal identity work of lifestyle travellers – individuals for whom extended leisure travel is a preferred lifestyle that they return to repeatedly. Qualitative findings from in-depth semi-structured interviews with lifestyle travellers in northern India and southern Thailand are interpreted in light of theories on identity formation in late modernity that position identity as problematic. It is suggested that extended leisure travel can provide exposure to varied cultural praxes that may contribute to a sense of social saturation. Whilst a minority of the respondents embraced a saturation of personal identity in the subjective formation of a cosmopolitan cultural identity, several of the respondents were paradoxically left with more identity questions than answers as the result of their travels

Horseplay, care and hands on hard work: gendered strategies of a project manager on a construction site

The discourse of managerial expertise favours rational analysis and masculine ideals but contemporary management literature also recognises the value of well-being and employee voice in the workplace. Drawing upon narrative analysis of interview data, we share unique insights into the lived experiences of Laura, one female project manager who recently managed a construction site in the Midlands in the UK. In contrast to previous research which indicates that female managers tend to conform to quite a traditional set of gender behaviours, Laura embraces a range of workplace appropriate gendered strategies, such as hard work and horseplay, together with sensitivity and caring. She draws from this mix of gendered strategies in negotiating between two different discourses of construction; one professional and one tough and practical. Her behaviour both reproduces the masculine ideals (through horseplay and heroic management) and opens up possibilities for modernising construction management (by caring). It is this combination of strategies that is at the heart of tacit expertise for Laura. Theoretically, the discussion adds to the development of a more nuanced understanding of management expertise as situated and person specific knowledge that draws on both the explicit and tacit. Specifically, the centrality of gendered strategies beyond the masculine ideals to success on site is highlighted